Programming Research Group

Results: 139



#Item
51Data types / Software bugs / C++ / Primitive types / Memory management / Pointer / Dangling pointer / C / Smart pointer / Computing / Software engineering / Computer programming

FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers Yves Younan Talos Security Intelligence and Research Group Cisco Systems

Add to Reading List

Source URL: fort-knox.org

Language: English - Date: 2015-02-07 13:10:31
52Computing / Object-oriented design / Software design pattern / Class / Design Patterns / Object / Inheritance / Anti-pattern / Eiffel / Software engineering / Object-oriented programming / Computer programming

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs Dirk Beyer and Claus Lewerentz Software Systems Engineering Research Group Technical University Cottbus, Germany {db | cl}@informatik.tu-cottbus.de 1. Intr

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2013-10-11 06:59:10
53Convex optimization / Mathematics / Applied mathematics / Relaxation / Power flow study / Duality / Semidefinite programming / Mathematical optimization / Operations research / Linear programming

Optimal AC Distribution Systems Reconfiguration Hassan L. Hijazi and Sylvie Thi´ebaux NICTA Optimisation Research Group The Australian National University Canberra, ACT 2601, Australia

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-06-10 02:56:46
54Operations research / Mathematical optimization / Combinatorial optimization / Convex optimization / Heuristic function / Planning Domain Definition Language / Admissible heuristic / A* search algorithm / Linear programming / Artificial intelligence / Automated planning and scheduling / Heuristics

Optimal Planning with Global Numerical State Constraints Franc Ivankovic, Patrik Haslum, Sylvie Thi´ebaux, Vikas Shivashankar and Dana S. Nau Optimisation Research Group, NICTA Dept. of Comp. Sci., and Inst. for Sys. Rs

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-03-14 07:54:37
55Parallel computing / Sorting algorithms / Concurrency control / Application programming interfaces / Fortran / OpenMP / POSIX Threads / Thread / Quicksort / Computing / Computer programming / Software engineering

A User’s Experience with Parallel Sorting and OpenMP Michael S¨uß and Claudia Leopold University of Kassel Research Group Programming Languages / Methodologies Wilhelmsh¨oher Allee 73, D[removed]Kassel, Germany {msues

Add to Reading List

Source URL: www.michaelsuess.net

Language: English - Date: 2014-03-25 15:40:00
56Higher Education Research Institute / University of California /  Los Angeles / Procedural programming languages / Code / C / Survey methodology / G-code / Computing / Statistics / Science

Using Group Codes with the CIRP Freshman Survey We provide two Group Code variables (Group Code A, Group Code B) that allow institutions to compare specific subgroups of their student sample. They are typically used by i

Add to Reading List

Source URL: www.heri.ucla.edu

Language: English - Date: 2015-02-23 17:05:53
57Concurrency control / Parallel computing / Application programming interfaces / Scheduling / Fortran / OpenMP / Monitor / Thread / Lock / Computing / Computer programming / Concurrent computing

A Comparison of Task Pool Variants in OpenMP and a Proposal for a Solution to the Busy Waiting Problem Alexander Wirz, Michael S¨ uß, and Claudia Leopold University of Kassel, Research Group Programming Languages / Met

Add to Reading List

Source URL: www.michaelsuess.net

Language: English - Date: 2014-03-25 15:40:00
58Earth / European Space Agency / Array programming languages / SMOS / Aquarius / Salinity / MATLAB / Software / Oceanography / Physical geography

Post-doc position at the GeoHydrodynamics and Environment Research group, University of Liège (Belgium) The GHER is looking for a post-doc to work in the analysis of SMOS salinity data, in the frame of an ESA Support to

Add to Reading List

Source URL: modb.oce.ulg.ac.be

Language: English - Date: 2015-03-12 09:07:10
59Compiling tools / Web application frameworks / Java enterprise platform / Apache Maven / Apache Software Foundation / Apache Commons / Snapshot / Application programming interface / Library / Software / Computing / Build automation

Delft University of Technology Software Engineering Research Group Technical Report Series Measuring Library Stability Through Historical Version Analysis

Add to Reading List

Source URL: swerl.tudelft.nl

Language: English - Date: 2012-07-24 09:07:58
60Software design patterns / Concurrency control / Parallel computing / Application programming interfaces / Fortran / OpenMP / Singleton pattern / Double-checked locking / Lazy initialization / Computing / Computer programming / Software engineering

Problems, Workarounds and Possible Solutions Implementing the Singleton Pattern with C++ and OpenMP Michael S¨ uß and Claudia Leopold University of Kassel, Research Group Programming Languages / Methodologies,

Add to Reading List

Source URL: www.michaelsuess.net

Language: English - Date: 2014-03-25 15:40:00
UPDATE